けいしきろんり

けいしきろんり【形式論理】

命題や推論について， その内容にかかわらず， ただその形式面から真偽を問う論理。